праворекурсивное правило подстановки

right recursive rule

правило подстановки — rewriting rule

леворекурсивное правило подстановки — left recursive rule